Generic fold
Catamorphism
/mrsekut-book-4274068056/061 (3.2 リストのおりがみ: ソート)
で「総称的おりがみ」と訳されているものがある
mrsekut.icon
具体的にどういうものを指しているのかよくわかっていない
mrsekut.icon
『Haskell Design Patterns』
の6章に「Generic fold」というキーワードが出てくるけどこれのこと
#??
リスト、数値、木などのデータ型について一つで対応する方法
『Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire』
チュートリアル
『Calculating Functional Programs』
『The Algebra of Programming』